991![On the Complexity of Deciding Sense of Direction∗ Paolo Boldi† Sebastiano Vigna† Abstract On the Complexity of Deciding Sense of Direction∗ Paolo Boldi† Sebastiano Vigna† Abstract](https://www.pdfsearch.io/img/c08f4932838843fd6134d9fabd5f0e38.jpg) | Add to Reading ListSource URL: vigna.di.unimi.itLanguage: English - Date: 2002-05-18 04:50:05
|
---|
992![1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh 1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh](https://www.pdfsearch.io/img/784406cf7b396b579a04704802416670.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2012-04-27 14:06:25
|
---|
993![Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati](https://www.pdfsearch.io/img/ccf35692c91579cafade189633154cd5.jpg) | Add to Reading ListSource URL: www.menkes76.comLanguage: English - Date: 2012-10-29 18:19:38
|
---|
994![Automated theorem proving / NP-complete problems / Logic in computer science / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Resolution / Unit propagation / Constraint satisfaction / Theoretical computer science / Mathematics / Applied mathematics Automated theorem proving / NP-complete problems / Logic in computer science / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Resolution / Unit propagation / Constraint satisfaction / Theoretical computer science / Mathematics / Applied mathematics](/pdf-icon.png) | Add to Reading ListSource URL: cjtcs.cs.uchicago.eduLanguage: English - Date: 2008-10-23 11:39:06
|
---|
995![Lessons In Electric Circuits -- Volume IV Chapter 9 COMBINATIONAL LOGIC FUNCTIONS • • • Lessons In Electric Circuits -- Volume IV Chapter 9 COMBINATIONAL LOGIC FUNCTIONS • • •](https://www.pdfsearch.io/img/41387ab19411aa360ec12f24dff47d14.jpg) | Add to Reading ListSource URL: www.saylor.orgLanguage: English - Date: 2013-03-20 16:11:32
|
---|
996![A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H](https://www.pdfsearch.io/img/1d3481ad85beccc9ea73f56f0ba6a6f1.jpg) | Add to Reading ListSource URL: www.cs.ust.hkLanguage: English - Date: 2014-03-07 00:56:20
|
---|
997![](https://www.pdfsearch.io/img/695669f09b64c91e138bb3bd24188a93.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2014-08-27 06:04:04
|
---|
998![Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science](https://www.pdfsearch.io/img/006acb23d0654feb0f45276ee8105566.jpg) | Add to Reading ListSource URL: www.cs.technion.ac.ilLanguage: English - Date: 2012-10-28 08:11:48
|
---|
999![Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria](https://www.pdfsearch.io/img/a1b56dc63e7723d2d050210e33420799.jpg) | Add to Reading ListSource URL: www.eecs.qmul.ac.ukLanguage: English - Date: 2015-04-10 18:09:41
|
---|
1000![ZU064-05-FPR rhiger-submitted 18 August 2008 ZU064-05-FPR rhiger-submitted 18 August 2008](https://www.pdfsearch.io/img/cf706eaf44a4fd12559bf4932f38c0a4.jpg) | Add to Reading ListSource URL: www.itu.dkLanguage: English - Date: 2008-10-17 11:56:59
|
---|